Systematic Debugging of Attribute Grammars
نویسندگان
چکیده
Although attribute grammars are commonly used for compiler construction, little investigation has been conducted on debugging attribute grammars. The paper proposes two types of systematic debugging methods, an algorithmic debugging and slice-based debugging, both tailored for attribute grammars. By means of query-based interaction with the developer, our debugging methods effectively narrow the potential bug space in the attribute grammar description and eventually identify the incorrect attribution rule. We have incorporated this technology in our visual debugging tool called Aki.
منابع مشابه
GENERALIZED SYSTEMATIC DEBUGGING FOR ATTRIBUTE GRAMMARS XXX1 Generalized Systematic Debugging for Attribute Grammars
Attribute grammars (AGs) are known to be a useful formalism for semantic analysis and translation. However, debugging AGs is complex owing to inherent difficulties of AGs, such as recursive grammar structure and attribute dependency. In this paper, a new systematic method of debugging AGs is proposed. Our approach is, in principle, based on previously proposed algorithmic debugging of AGs, but ...
متن کاملGeneralized Systematic Debugging for Attribute Grammars
Attribute grammars (AGs) are known to be a useful formalism for semantic analysis and translation. However, debugging AGs is complex owing to inherent difficulties of AGs, such as recursive grammar structure and attribute dependency. In this paper, a new systematic method of debugging AGs is proposed. Our approach is, in principle, based on previously proposed algorithmic debugging of AGs, but ...
متن کاملDevelopment Environment for Language Processors Based on Attribute Grammars
To develop language processors efficiently is difficult because they need to deal with large data with complex structures. Using tools based on formal specification is one of the strategies to reduce the cost in developing language processors. However, the area of application which can be developed by these tools is limited. This dissertation aims at realization of the practical development env...
متن کاملDebugger for Attribute Grammar Specification Language , Silver
Despite the growth of information technology, it has not provided satisfactory results in certain areas. This is because our current approach has been limited by time consuming processes of software testing and software development.Programming,specially declarative and functional, can improve this methodology by making programmers free from following certain sequence of expression calculation. ...
متن کامل